panel: Fix corner transition when slowed down

Both ease() and CSS durations take the slow-down factor into account,
so the corners currently end up using the square of the factor in their
transition.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2118>

diff --git a/js/ui/panel.js b/js/ui/panel.js
index dafba690a57075d293201cf919d15c02451d0d9e..ce1c493087a195434d556a757103b1e6be5f5020 100644 (file)
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -492,7 +492,8 @@ class PanelCorner extends St.DrawingArea {
         let cornerRadius = node.get_length("-panel-corner-radius");
         let borderWidth = node.get_length('-panel-corner-border-width');
 
-        const transitionDuration = node.get_transition_duration();
+        const transitionDuration =
+            node.get_transition_duration() / St.Settings.get().slow_down_factor;
         const opacity = node.get_double('-panel-corner-opacity');
 
         this.set_size(cornerRadius, borderWidth + cornerRadius);